منابع مشابه
Value Difference Metrics for Continuously Valued Attributes
Nearest neighbor and instance-based learning techniques typically handle continuous and linear input values well, but often do not handle symbolic input attributes appropriately. The Value Difference Metric (VDM) was designed to find reasonable distance values between symbolic attribute values, but it largely ignores continuous attributes, using discretization to map continuous values into symb...
متن کاملMany-valued hybrid logic
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
متن کاملMulti-Valued Logic Synthesis
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized binary-valued logic, as well as motivating research towards a true multi-valued multi-level optimization package.
متن کاملTwo-Valued Logic Programs
We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing actions. 1998 ACM Subject Classification D.1.6 Logic Programming
متن کاملMultiple-valued Logic
s of the Talks In the order in which the talks were given. Walter Carnielli – Non-deterministic Semantics 5 Matthias Baaz – Analytic Calculi for Many-valued Logics 5 Hiroakira Ono – Many-valued Logics as Logics without the Contraction Rule 6 Reiner Hähnle – Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz – Determining the Truth Degree in Real Time Settings 7 Peter ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1972
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(72)80011-4